first-order logic
un. 一阶逻辑
[网络] 初阶逻辑；一阶谓词演算或一阶逻辑；一阶述词逻辑
热门查询
- sumptuary adj. 限制费用的；禁止奢侈的
- tremolite n. [矿物] 透闪石
- olden adj. 古时的，往昔的 vt. 使变老 vi. 变老
- culminating v. 达到顶点；告终（culminate的ing形式） adj. 最后的；终极的；达绝顶的
- toys n. [轻] 玩具（toy的复数） v. 摆弄；调情（toy的第三人称单数）
- laptop n. 膝上型轻便电脑，笔记本电脑
- argyle n. 多色菱形花纹；多色菱形图案的袜子 adj. 有多色菱形图案的
- halo n. 光环；荣光 vt. 使有晕轮；围以光环 vi. 成晕轮
- thrombotic adj. 血栓形成的
- untied v. 解开（untie的过去分词） adj. 没有打结的
- cobia n. 军曹鱼（产于热带海洋，可供食用）
- orchard n. 果园；果树林 n. (Orchard)人名；(英、西)奥查德
- reborn adj. 再生的；更新的
- lettuce n. [园艺] 生菜；莴苣；（美）纸币
- greenbrier n. 绿蔷薇
- blackened v. 使…变黑；弄脏；损坏（blacken的过去分词） adj. 变黑的；被损坏的
- derelict n. 遗弃物；玩忽职守者；被遗弃的人 adj. 玩忽职守的；无主的；被抛弃了的
- nonlinguistic 与语言无关的
- Queensway 金钟道
- consultant n. 顾问；咨询者；会诊医生
考试词汇表
- gating equipment
- gating generator
- gating line-scan
- gating mechanism
- gating technique
- gatooma (kadoma)
- gaucher syndrome
- gaudeamus igitur
- gauffer calender
- gauffered fabric
- gauffering irons
- gauffrage effect
- gauge adjustment
- gauge connection
- gauge controller
- gauge conversion
- gauge covariance
- gauge distortion
- gauge face glass
- gauge glass cone
